ET TEST.TEX↔ αβXparen {↔ αXdefine ∩↔ α(α)αβ↓↔| R MAXTEX↔ \input test.tex↔| ET ?T.TEX↔ αβXparen {↔ αXdefine ∩↔ α(α)αβ↓↔| R maxtex↔ \input ?T.tex↔| DOVER ?T.PRE↔| ET SUAI.TEX↔ αβXparen {↔ αXdefine ∩↔ α(α)αβ↓↔| R maxtex↔ \input suai.tex↔|